The Free On-line Dictionary of Computing (30 December 2018):

Anthony Hoare
Tony Hoare

    (C. Anthony R. Hoare, Tony) A computer scientist
   working on programming languages, especially parallel ones.
   Hoare was responsible for Communicating Sequential Processes
   (CSP).

   See also: pointer, Simone.

   [Did he invent the Hoare powerdomain?  Other details?]

   (1999-07-22)